định lý bốn màu câu

Câu ví dụ

thêm câu ví dụ:   1  2  3


1. Định lý bốn màu (four-color theorem)
2. Định lý bốn màu là định lý lớn đầu tiên được chứng minh bằng máy vi tính.
3. Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.
4. Ví dụ như, cách chứng minh định lý bốn màu đầu tiên là một chứng minh vét cạn với 1.936 trường hợp.
5. Wolfgang Haken và Kenneth Appel đã sử dụng một chiếc máy tính để chứng minh định lý bốn màu vào năm 1976.